Polynomial 0-1 Problem go scip AMPL solve; display obj; display Y; This is a polynomial binary optimization problem from MacMINLP